//Created at 2020-05-07 09:48:45
//Eve ide 

main:
addi x1,x0,-0x07f0
